Havelund, B.M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Ultras in Denmark. The new football thugs?

Joern, Lise, Havelund, Jonas

Journal:

Soccer & Society

Year:

2018

Language:

english

File:

PDF, 905 KB

english, 2018

2

Cardiolipin Synthesis in Brown and Beige Fat Mitochondria Is Essential for Systemic Energy Homeostasis

Sustarsic, Elahu G., Ma, Tao, Lynes, Matthew D., Larsen, Michael, Karavaeva, Iuliia, Havelund, Jesper F., Nielsen, Carsten H., Jedrychowski, Mark P., Moreno-Torres, Marta, Lundh, Morten, Plucinska, Ka

Journal:

Cell Metabolism

Year:

2018

Language:

english

File:

PDF, 6.98 MB

english, 2018

3

Chemical and Thermal Stability of Insulin: Effects of Zinc and Ligand Binding to the Insulin Zinc-Hexamer

Kasper Huus, Svend Havelund, Helle B. Olsen, Marco van de Weert, Sven Frokjaer

Journal:

Pharmaceutical Research

Year:

2006

Language:

english

File:

PDF, 492 KB

english, 2006

4

Thermal Dissociation and Unfolding of Insulin

Huus, Kasper, Havelund, Svend, Olsen, Helle B., van de Weert, Marco, Frokjaer, Sven

Journal:

Year:

2005

Language:

english

File:

PDF, 199 KB

english, 2005

5

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS

Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund

Journal:

Future Generation Computer Systems

Year:

1992

Language:

english

File:

PDF, 2.14 MB

english, 1992

6

Crystal Structure of a Prolonged-Acting Insulin with Albumin-Binding Properties†

Jonassen, Ib, Whittingham, Jean L., Havelund, Svend

Journal:

Year:

1997

Language:

english

File:

PDF, 237 KB

english, 1997

7

Design of the Novel Protraction Mechanism of Insulin Degludec, an Ultra-long-Acting Basal Insulin

Ib Jonassen, Svend Havelund, Thomas Hoeg-Jensen, Dorte Bjerre Steensgaard, Per-Olof Wahlund, Ulla Ribel

Journal:

Pharmaceutical Research

Year:

2012

Language:

english

File:

PDF, 463 KB

english, 2012

8

Ligand-Controlled Assembly of Hexamers, Dihexamers, and Linear Multihexamer Structures by the Engineered Acylated Insulin Degludec

Steensgaard, Dorte B., Schluckebier, Gerd, Strauss, Holger M., Norrman, Mathias, Thomsen, Jens K., Friderichsen, Anders V., Havelund, Svend, Jonassen, Ib

Journal:

Year:

2013

Language:

english

File:

PDF, 644 KB

english, 2013

9

Verification and validation meet planning and scheduling

Bensalem, Saddek, Havelund, Klaus, Orlandini, Andrea

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 283 KB

english, 2014

10

Rule Systems for Run-time Monitoring: from EAGLE to RULER

Barringer, H., Rydeheard, D., Havelund, K.

Journal:

Journal of Logic and Computation

Year:

2010

Language:

english

File:

PDF, 591 KB

english, 2010

11

Formal Analysis of Log Files

Barringer, Howard, Groce, Alex, Havelund, Klaus, Smith, Margaret

Journal:

Journal of Aerospace Computing Information and Communication

Year:

2010

Language:

english

File:

PDF, 672 KB

english, 2010

12

A qualitative examination of police officers’ perception of football supporters

Havelund, Jonas, Joern, Lise, Rasmussen, Kristian

Journal:

Police Practice and Research

Year:

2015

Language:

english

File:

PDF, 158 KB

english, 2015

13

Biomarker Research in Parkinson’s Disease Using Metabolite Profiling

Havelund, Jesper, Heegaard, Niels, Færgeman, Nils, Gramsbergen, Jan

Journal:

Year:

2017

Language:

english

File:

PDF, 729 KB

english, 2017

14

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 163 KB

english, 2018

15

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 597 KB

english, 2018

16

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 488 KB

english, 2018

17

Policing football crowds in Sweden

Stott, Clifford, Havelund, Jonas, Williams, Neil

Journal:

Journal of Scandinavian Studies in Criminology and Crime Prevention

Year:

2018

Language:

english

File:

PDF, 1.38 MB

english, 2018

18

The value of Supporter Liaison Officers (SLOs) in fan dialogue, conflict, governance and football crowd management in Sweden

Stott, Clifford, Khan, Sammyh, Madsen, Erik, Havelund, Jonas

Journal:

Soccer & Society

Year:

2018

Language:

english

File:

PDF, 1.20 MB

english, 2018

19

First-order temporal logic monitoring with BDDs

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 1.13 MB

english, 2019

20

Missing Diagnosis, Pain, and Loss of Function in Older Adults with Rheumatoid Arthritis and Insufficiency Fractures: A Qualitative Study of the Patientâs Perspective

Simonsen Lentz, Pia, Havelund Rasmussen, Anna, Yurtsever, Aysun, Melgaard, Dorte

Journal:

Year:

2020

File:

PDF, 200 KB

2020

21

Towards a framework and a benchmark for testing tools for multi-threaded programs

Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 216 KB

english, 2007

22

Analysis of insulin allostery in solution and solid state with FTIR

Morten Jonas Maltesen, Simon Bjerregaard, Lars Hovgaard, Svend Havelund, Marco van de Weert

Journal:

Journal of Pharmaceutical Sciences

Year:

2009

Language:

english

File:

PDF, 223 KB

english, 2009

23

Adsorption of insulin on solid surfaces in relation to the surface properties of the monomeric and oligomeric forms

Paula Nilsson, Tommy Nylander, Svend Havelund

Journal:

Journal of Colloid and Interface Science

Year:

1991

Language:

english

File:

PDF, 693 KB

english, 1991

24

Cyclodextrin functionalized poly(methyl methacrylate) (PMMA) electrospun nanofibers for organic vapors waste treatment

Tamer Uyar, Rasmus Havelund, Yusuf Nur, Abidin Balan, Jale Hacaloglu, Levent Toppare, Flemming Besenbacher, Peter Kingshott

Journal:

Journal of Membrane Science

Year:

2010

Language:

english

File:

PDF, 1.42 MB

english, 2010

25

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Roşu, Koushik Sen, Willem Visser, Rich Washington

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 290 KB

english, 2005

26

Monitoring Java Programs with Java PathExplorer

Klaus Havelund, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 335 KB

english, 2001

27

Preface: Volume 70, Issue 4

Klaus Havelund, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 43 KB

english, 2002

28

Preface: Volume 55, Issue 2

Klaus Havelund, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

29

On demand therapy with omeprazole for the long-term management of patients with heartburn without oesophagitis—a placebo-controlled randomized trial

Lind, Havelund, Lundell, Glise, Lauritsen, Pedersen, Anker-Hansen, StubberÖD, Eriksson, Carlsson, Junghard

Journal:

Alimentary Pharmacology & Therapeutics

Year:

1999

Language:

english

File:

PDF, 295 KB

english, 1999

30

Insulins with built-in glucose sensors for glucose responsive insulin release

Dr Thomas Hoeg-Jensen, Signe Ridderberg, Svend Havelund, Lauge Schäffer, Per Balschmidt, Ib Jonassen, Per Vedsø, Preben H. Olesen, Jan Markussen

Journal:

Journal of Peptide Science

Year:

2005

Language:

english

File:

PDF, 156 KB

english, 2005

31

High-level data races

Cyrille Artho, Klaus Havelund, Armin Biere

Journal:

Software Testing, Verification and Reliability

Year:

2003

Language:

english

File:

PDF, 228 KB

english, 2003

32

The potential immunogenicity of human insulin and insulin analogues evaluated in a transgenic mouse model

J. L. Ottesen, P. Nilsson, J. Jami, D. Weilguny, M. Dührkop, D. Bucchini, S. Havelund, J. M. Fogh

Journal:

Year:

1994

Language:

english

File:

PDF, 1002 KB

english, 1994

33

Soluble, fatty acid acylated insulins bind to albumin and show protracted action in pigs

J. Markussen, S. Havelund, P. Kurtzhals, A. S. Andersen, J. Halstrøm, E. Hasselager, U. D. Larsen, U. Ribel, L. Schäffer, K. Vad, I. Jonassen

Journal:

Year:

1996

Language:

english

File:

PDF, 932 KB

english, 1996

34

The RAISE language, method and tools

Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George

Journal:

Formal Aspects of Computing

Year:

1989

Language:

english

File:

PDF, 1.82 MB

english, 1989

35

Program model checking as a new trend

Klaus Havelund, Willem Visser

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2002

Language:

english

File:

PDF, 219 KB

english, 2002

36

Efficient monitoring of safety properties

Klaus Havelund, Grigore Roşu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 360 KB

english, 2004

37

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 253 KB

english, 2000

38

Rewriting-Based Techniques for Runtime Verification

Grigore Roşu, Klaus Havelund

Journal:

Automated Software Engineering

Year:

2005

Language:

english

File:

PDF, 2.21 MB

english, 2005

39

Foreword

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 88 KB

english, 2005

40

Biochemical and Physiological Properties of a Novel Series of Long-Acting Insulin Analogs Obtained by Acylation with Cholic Acid Derivatives

Ib Jonassen, Svend Havelund, Ulla Ribel, Anne Plum, Mette Loftager, Thomas Hoeg-Jensen, Aage Volund, Jan Markussen

Journal:

Pharmaceutical Research

Year:

2006

Language:

english

File:

PDF, 416 KB

english, 2006

41

Dihydrofurocoumarin glucosides from Angelica archangelica and Angelica silvestris

John Lemmich, Svend Havelund, Ole Thastrup

Journal:

Year:

1983

Language:

english

File:

PDF, 401 KB

english, 1983

42

Preface

Klaus Havelund, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 64 KB

english, 2005

43

Molecular filters based on cyclodextrin functionalized electrospun fibers

Tamer Uyar, Rasmus Havelund, Yusuf Nur, Jale Hacaloglu, Flemming Besenbacher, Peter Kingshott

Journal:

Journal of Membrane Science

Year:

2009

Language:

english

File:

PDF, 1.40 MB

english, 2009

44

Coumarin glycosides of seseli montanum

John Lemmich, Svend Havelund

Journal:

Year:

1978

Language:

english

File:

PDF, 333 KB

english, 1978

45

Effect of 10 mg and 20 mg omeprazole daily on duodenal ulcer: double-blind comparative trial

K. LAURITSEN, B. N. ANDERSEN, T. HAVELUND, L. S. LAURSEN, J. HANSEN, J. ERIKSEN, T. JØRGENSEN, J. RASK-MADSEN

Journal:

Alimentary Pharmacology & Therapeutics

Year:

1989

Language:

english

File:

PDF, 495 KB

english, 1989

46

Albumin binding and time action of acylated insulins in various species

Peter Kurtzhals, Svend Havelund, Ib Jonassen, Benedicte Kiehr, Ulla Ribel, Jan Markussen

Journal:

Journal of Pharmaceutical Sciences

Year:

1996

Language:

english

File:

PDF, 204 KB

english, 1996

47

Effect of fatty acids and selected drugs on the albumin binding of a long-acting, acylated insulin analogue

Peter Kurtzhals, Svend Havelund, Ib Jonassen, Jan Markussen

Journal:

Journal of Pharmaceutical Sciences

Year:

1997

Language:

english

File:

PDF, 109 KB

english, 1997

48

Monomeric insulins obtained by protein engineering and their medical implications

Brange, J., Ribel, U., Hansen, J. F., Dodson, G., Hansen, M. T., Havelund, S., Melberg, S. G., Norris, F., Norris, K., Snel, L.

Journal:

Year:

1988

File:

PDF, 528 KB

1988

49

Chemical Stability of Insulin. 1. Hydrolytic Degradation During Storage of Pharmaceutical Preparations

Jens Brange, Liselotte Langkjsgmaelig, r, Svend Havelund, Aage Vølund

Journal:

Pharmaceutical Research

Year:

1992

File:

PDF, 2.16 MB

1992

50

Chemical Stability of Insulin. 2. Formation of Higher Molecular Weight Transformation Products During Storage of Pharmaceutical Preparations

Jens Brange, Svend Havelund, Philip Hougaard

Journal:

Pharmaceutical Research

Year:

1992

File:

PDF, 1.10 MB

1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски